Vercoma (Atlanstic 2020/Attractivity grant)
Goal: Verified computer mathematics.
Coordinator: A. Mahboubi.
Duration: 08/2018 - 08/2021.